計算機科学のための数学談話会３ 空間と時間のとりひき